- 歸結(jié)反演, 分解反駁
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯
resolution refutation中文什么意思
例句與用法
- Based on the principle of resolution refutation in fl , the inferring process of first order predication logic ( fopl ) is performed and sn inference based on pn is implemented
根據(jù)形式邏輯的歸結(jié)反演原理，本文給出了一階謂詞邏輯的petri網(wǎng)推理的方法，實(shí)現(xiàn)了語(yǔ)義網(wǎng)絡(luò)的petri網(wǎng)推理。